Lakhdar Saïs: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A Bayesian Monte Carlo method for computing the Shapley value: Application to weighted voting and bin packing games

TOUATI, Sofiane, RADJEF, Mohammed Said, SAIS, Lakhdar

Journal:

Computers & Operations Research

Year:

2021

File:

PDF, 856 KB

2021

2

[IEEE 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Krakow, Poland (2018.5.16-2018.5.18)] 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability

Jabbour, Said, Mhadbhi, Nizar, Raddaoui, Badran, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 210 KB

english, 2018

3

Reasoning from last conflict(s) in constraint programming

Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal

Journal:

Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 841 KB

english, 2009

4

Mining Top-k motifs with a SAT-based framework

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 973 KB

english, 2015

5

SAT-Based Data Mining

Boudane, Abdelhamid, Jabbour, Saïd, Sais, Lakhdar, Salhi, Yakoub

Journal:

International Journal of Artificial Intelligence Tools

Year:

2018

Language:

english

File:

PDF, 614 KB

english, 2018

6

Multi-mechanism modeling of proportional and non-proportional ratchetting of stainless steel 304

Saï, Kacem, Taleb, Lakhdar, Guesmi, Fethi, Cailletaud, Georges

Journal:

Year:

2014

Language:

english

File:

PDF, 1.13 MB

english, 2014

7

Tractability through symmetries in propositional calculus

Belaid Benhamou, Lakhdar Sais

Journal:

Journal of Automated Reasoning

Year:

1994

Language:

english

File:

PDF, 861 KB

english, 1994

8

[IEEE 2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06) - Arlington, VA, USA (2006.11.13-2006.11.13)] 2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06) - Computing Horn Strong Backdoor Sets Thanks to Local Search

Paris, Lionel, Ostrowski, Richard, Siegel, Pierre, Sais, Lakhdar

Year:

2006

Language:

english

File:

PDF, 208 KB

english, 2006

9

Modelling of a Cd1−xZnxTe/ZnTe Single Quantum Well for Laser Diodes

Dehimi, Sai̇d, Dehimi, Lakhdar, Asar, Tarik, Özçelik, Süleyman

Journal:

Journal of Electronic Materials

Year:

2017

Language:

english

File:

PDF, 2.97 MB

english, 2017

10

Handbook of Parallel Constraint Reasoning ||

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 10.73 MB

english, 2018

11

Handbook of Parallel Constraint Reasoning || Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1011 KB

english, 2018

12

Learning from conflicts in propositional satisfiability

Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs

Journal:

4OR: A Quarterly Journal of Operations Research

Year:

2012

Language:

english

File:

PDF, 295 KB

english, 2012

13

Multi-mechanism Modeling of Inelastic Material Behavior || Model Formulation

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 212 KB

english, 2018

14

Handbook of Parallel Constraint Reasoning || Parallel Model-Based Diagnosis

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 748 KB

english, 2018

15

Multi-mechanism Modeling of Inelastic Material Behavior || Bibliography

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

File:

PDF, 138 KB

2018

16

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving

Guo, Long, Jabbour, Said, Lonlac, Jerry, Sais, Lakhdar

Year:

2014

Language:

english

File:

PDF, 1.13 MB

english, 2014

17

What we can learn from conflicts in propositional satisfiability

Hamadi, Youssef, Jabbour, Saïd, Saïs, Lakhdar

Journal:

Annals of Operations Research

Year:

2016

Language:

english

File:

PDF, 789 KB

english, 2016

18

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data

Dlala, Imen Ouled, Jabbour, Said, Raddaoui, Badran, Sais, Lakhdar, Ben Yaghlane, Boutheina

Year:

2016

Language:

english

File:

PDF, 233 KB

english, 2016

19

Multi-mechanism Modeling of Inelastic Material Behavior || Typical MM Responses

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 635 KB

english, 2018

20

Handbook of Parallel Constraint Reasoning || Parallel Maximum Satisfiability

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1.14 MB

english, 2018

21

Multi-mechanism Modeling of Inelastic Material Behavior || Front Matter

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 215 KB

english, 2018

22

Multi-mechanism Modeling of Inelastic Material Behavior || Comparison with Experimental Databases

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1.08 MB

english, 2018

23

Handbook of Parallel Constraint Reasoning || Parallel Satisfiability Modulo Theories

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 873 KB

english, 2018

24

Multi-mechanism Modeling of Inelastic Material Behavior || Index

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 79 KB

english, 2018

25

[IEEE Simulation (HPCS) - Caen, France (2010.06.28-2010.07.2)] 2010 International Conference on High Performance Computing & Simulation - Portfolio-based Parallel SAT solving

Year:

2010

Language:

english

File:

PDF, 294 KB

english, 2010

26

Multi-mechanism Modeling of Inelastic Material Behavior || MM Damage-Plasticity Models

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 263 KB

english, 2018

27

Multi-mechanism Modeling of Inelastic Material Behavior || Other titles from iSTE in Materials Science

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 114 KB

english, 2018

28

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - Boolean satisfiability for sequence mining

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub

Year:

2013

Language:

english

File:

PDF, 560 KB

english, 2013

29

Multi-mechanism Modeling of Inelastic Material Behavior || Finite Element Implementation

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1.39 MB

english, 2018

30

Breaking Symmetries in Association Rules

Mazouri, Fatima-Zahra El, Jabbour, Said, Raddaoui, Badran, Sais, Lakhdar, Abounaima, Mohammed Chaouki, Zenkouar, Khalid

Journal:

Procedia Computer Science

Year:

2019

Language:

english

File:

PDF, 316 KB

english, 2019

31

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - On the Characterization of Inconsistency: A Prime Implicates Based Framework

Jabbour, Said, Ma, Yue, Raddaoui, Badran, Sais, Lakhdar

Year:

2014

Language:

english

File:

PDF, 762 KB

english, 2014

32

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Itemset Mining with Penalties

Jabbour, Said, Kaci, Souhila, Sais, Lakhdar, Salhi, Yakoub

Year:

2016

Language:

english

File:

PDF, 210 KB

english, 2016

33

Boosting complete techniques thanks to local search methods

Bertrand Mazure, Lakhdar Saïs, Éric Grégoire

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 136 KB

english, 1998

34

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - Mining-based compression approach of propositional formulae

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub, Uno, Takeaki

Year:

2013

Language:

english

File:

PDF, 679 KB

english, 2013

35

Numerical simulation of the anisotropic behavior of 2017 aluminum alloy

Saı¨, Kacem, Taleb, Lakhdar, Cailletaud, Georges

Journal:

Computational Materials Science

Year:

2012

Language:

english

File:

PDF, 625 KB

english, 2012

36

[IEEE 2011 IEEE International Conference on Data Mining Workshops (ICDMW) - Vancouver, BC, Canada (2011.12.11-2011.12.11)] 2011 IEEE 11th International Conference on Data Mining Workshops - A Constraint Programming Approach for Enumerating Motifs in a Sequence

Coquery, Emmanuel, Jabbour, Saïd, Saïs, Lakhdar

Year:

2011

Language:

english

File:

PDF, 210 KB

english, 2011

37

[IEEE 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007) - Patras, Greece (2007.10.29-2007.10.31)] 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007) - Light Integration of Path Consistency for Solving CSPs

Chmeiss, Assef, Krawczyk, Vincent, Sais, Lakhdar

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

38

Handbook of Parallel Constraint Reasoning || An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1.01 MB

english, 2018

39

Revisiting the Learned Clauses Database Reduction Strategies

Jabbour, Saïd, Lonlac, Jerry, Saïs, Lakhdar, Salhi, Yakoub

Journal:

International Journal of Artificial Intelligence Tools

Year:

2018

Language:

english

File:

PDF, 246 KB

english, 2018

40

About some UP-based polynomial fragments of SAT

Al-Saedi, Balasim, Fourdrinoy, Olivier, Grégoire, Éric, Mazure, Bertrand, Saïs, Lakhdar

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 808 KB

english, 2017

41

[IEEE 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Krakow, Poland (2018.5.16-2018.5.18)] 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability

Jabbour, Said, Mhadbhi, Nizar, Raddaoui, Badran, Sais, Lakhdar

Year:

2018

File:

PDF, 210 KB

2018

42

Handbook of Parallel Constraint Reasoning || Parallel Solving of Quantified Boolean Formulas

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 815 KB

english, 2018

43

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning in Local Search

Audemard, Gilles, Lagniez, Jean-Marie, Mazure, Bertrand, Saïs, Lakhdar

Year:

2009

Language:

english

File:

PDF, 291 KB

english, 2009

44

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning for Dynamic Subsumption

Hamadi, Youssef, Jabbour, Saïd, Saïs, Lakhdar

Year:

2009

Language:

english

File:

PDF, 343 KB

english, 2009

45

[IEEE 2007 IEEE International Conference on Information Reuse and Integration - Las Vegas, NV, USA (2007.08.13-2007.08.15)] 2007 IEEE International Conference on Information Reuse and Integration - Reducing hard SAT instances to polynomial ones

Fourdrinoy, Olivier, Gregoire, Eric, Mazure, Bertrand, Sais, Lakhdar

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

46

Quantifying conflicts in propositional logic through prime implicates

Jabbour, Said, Ma, Yue, Raddaoui, Badran, Sais, Lakhdar

Journal:

International Journal of Approximate Reasoning

Year:

2017

Language:

english

File:

PDF, 812 KB

english, 2017

47

LEARNING FOR DYNAMIC SUBSUMPTION

HAMADI, YOUSSEF, JABBOUR, SAÏD, SAÏS, LAKHDAR

Journal:

International Journal of Artificial Intelligence Tools

Year:

2010

Language:

english

File:

PDF, 393 KB

english, 2010

48

[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - Extending modern SAT solvers for models enumeration

Jabbour, Said, Lonlac, Jerry, Sais, Lakhdar, Salhi, Yakoub

Year:

2014

Language:

english

File:

PDF, 141 KB

english, 2014

49

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT

Al-Saedi, Balasim, Gregoire, Eric, Mazure, Bertrand, Sais, Lakhdar

Year:

2014

Language:

english

File:

PDF, 738 KB

english, 2014

50

Mining Negatives Association Rules Using Constraints

Jabbour, Said, El Mazouri, Fatima Ezzahra, Sais, Lakhdar

Journal:

Procedia Computer Science

Year:

2018

Language:

english

File:

PDF, 278 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски